nichtmonotone Logik

nichtmonotone Logik
nichtmonotone Logik,
 
insbesondere für Anwendungen in der Informatik und in der künstlichen Intelligenz wichtige Erweiterung der üblichen (klassischen) Logik, in der aufgrund neuer Ausgangsinformationen eine »Rücknahme« von zuvor erlaubten Schlussfolgerungen möglich ist. Von besonderer Bedeutung ist die Formalisierung des Schließens »bis zum Beweis des Gegenteils« in Wissensbasen, bei denen vor einer »Rücknahme« von Schlussfolgerungen mit allgemeinen Aussagen argumentiert worden ist, zu denen keine Gegenbeispiele bekannt waren, neue Informationen aber solche Gegenbeispiele liefern.

Universal-Lexikon. 2012.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Nichtklassische Logik — Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann z.B. durch Variation …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Nixon-Diamant — Der Nixon Diamant bezeichnet ein bekanntes beispielhaftes Szenario aus der Künstlichen Intelligenz. Es dient zumeist der Illustration konsistenzerhaltender Wissensverarbeitung, gelegentlich auch der Verdeutlichung unterschiedlicher… …   Deutsch Wikipedia

  • Nixon-Raute — Die Nixon Raute (engl: Nixon diamond) bezeichnet ein bekanntes beispielhaftes Szenario aus der Künstlichen Intelligenz. Es dient zumeist der Illustration konsistenzerhaltender Wissensverarbeitung, gelegentlich auch der Verdeutlichung… …   Deutsch Wikipedia

  • Gerhard Schurz — (* 21. Januar 1956 in Graz) ist ein österreichischer Philosoph. Inhaltsverzeichnis 1 Leben 2 Forschungsgebiete 3 Werke 4 Weblinks …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”